Analysis of EMCCD and sCMOS readout noise models for Shack-Hartmann wavefront sensor accuracy