SMS: PostgreSQL 12 High Availability Cookbook: Over 100 Recipes to Design a Highly Available Server with the Advanced Features of PostgreSQL 12