The orthogonal subcategory problem in homotopy theory