Local modeling of VTEC using GPS observations