Microsoft goes big in security bug bounties: Its $13.7m is double Google's 2019 payouts