Vertical velocity from the Korean GPS Network (2000–2003) and its role in the South Korean neo-tectonics