BigRep PRO - An Industrial 3D Printer for Professional Production