Ionosphere vertical TEC calculated from GNSS receiver data in Lisbon: comparison with observations