Pg_auto_failover: PostgreSQL extension and service for automated failover and hi