Texas executes man for killing 3 teens in sleep