A General Framework for Relational Parametricity