Varieties of ordered algebras