Google bans crypto-mining applications from Play Store