सम्राट विक्रमादित्य और आचार्य वराहमिहिर