Case study on use of cloud computing, IoT, big data, machine learning, DevOps in Tour de France (2017)