Smoothed analysis of the low-rank approach for smooth semidefinite programs