Availability manager for Virtual Machines