Shopify replaced Redis with MySQL for inventory reservations–and it scaled