Ocean floor area five times bigger than UK set to be industrially mined