how david is a type of Christ