Mullis executed by state of Texas for killing infant son