Representation of non-markovian optimal stopping problems by constrained BSDEs with a single jump