First-principles calculation of the spin-orbit splitting in graphene