Devoteam achieved revenue of €387.2 million and operating margin of €35.8 million in the first half of 2020