Hyperfine spectroscopy of muonic hydrogen and the PSI Lamb shift experiment