Islamic astronomy and medieval Spain