John K. Davies (astronomer)