Nanometre-accurate form measurement machine for E-ELT M1 segments