Report on the Danish government’s tendering of IT operations and maintenance