The Optimal Hard Threshold for Singular Values is 4/sqrt(3)