DataVis - A Platform for Interactive Data Visual Analytics, Exploration, and Mining