Optimality of Gerver's Sofa