Koszulity and Koszul modules of dual extension algebras