Nederlandse IT-dienstenmarkt groeit 13 procent