BatchServer: a web server for batch effect evaluation, visualization and correction