Lifting planar graphs to realize integral 3-polytopes and topics in pseudo- triangulations