Compatible weak factorization systems and model structures | Synapse