How snipers, divers and AI are securing the Paris Olympics opening ceremony