The non-convex Burer-Monteiro approach works on smooth semidefinite programs Nicolas Boumal