Operator inference for non-intrusive model reduction with quadratic manifolds