Observation of tau neutrino appearance in the CNGS beam with the OPERA experiment