Availability modeling in redundant OpenStack private clouds. (18th January 2021)