High-dimensional estimation via sum-of-squares proofs