广义相对论及其检验