OPERA: a long baseline nu tau appearance experiment in the CNGS beam from CERN to Gran Sasso