Statistics for Virtual Machine Sizing in Virtualized Public Cloud Data Centres