Spherical designs as a tool for derandomization: The case of PhaseLift | IEEE Conference Publication | IEEE Xplore