Non-expansive mappings on Banach lattices and related topics