Pivotal puts PaaS in the spotlight