Coherence theorems for lax algebras and for distributive laws