F1: A Distributed SQL Database That Scales