Modular perverse sheaves on flag varieties II: Koszul duality and formality - Pramod N. Achar; Simon Riche (2014)