Web server for microRNA profiling and discovery based on high-throughput sequencing