Cloud infrastructure services market now worth more than $15