Orbital prediction and differential correction using Vinti's spheroidal theory for artificial satellites