Robert Van Hook executed in Lucasville