Danish drugs used in Texas execution of mentally impaired man