how was stoning done in biblical times