Deep Sea Mining Technology: Recent Developments and Future Projects