Google bans cryptomining extensions