Type I error rate control for testing many hypotheses: a survey with proofs