Energy-efficient resource allocation and provisioning for in-memory database clusters