Biography and major works of Arab astronomer and mathematician Al-Battani including astronomical observations, star catalog, and influence on other astronomers