Homotopical algebra and relative Koszul duality theory