First proton-lead ion collisions at the LHC