Recent progress on metal–organic frameworks and their derived materials for electrocatalytic water splitting