A data analytics framework for smart grids: spatio-temporal wind power analysis and synchrophasor data mining