Teoreettinen tähtitiede. Taivaanmekaniikka