Facial recognition is Tokyo’s secret weapon to beat the heat at the 2020 Olympics