Availability study of the italian electricity SCADA system in the cloud