Certainty Equivalence is Efficient for Linear Quadratic Control