A Complete Characterization of Observational Equivalence in Polymorphic lambda-Calculus with General References