Patrick Hall (astronomer)