2020: The year's biggest 3D printing launches, applications and industry developments