Carbon emission reduction and the Tokyo 2020 Olympics