Lax orthogonal factorisations in monad-quantale-enriched categories (Logical Methods in Computer Science, 2017)