typology David and Jesus