Gartner: Platform as a service market to see sharp growth