The Art and Science of Database Sharding