A Formal Investigation Of Human Spatial Control Skills: Mathematical Formalization, Skill Development, And Skill Assessment