Midazolam used to kill people