Health care company acts to block use of propofol in US executions