Linear Koszul duality