GloptiNets: Scalable Non-Convex Optimization with Certificates