A review of recent developments in hydrogen production via biogas dry reforming