Virginia death row inmates are executed by injection unless they choose electrocution