Managing High Availability in PostgreSQL – Part III: Patroni