By 1820, Charleston's population had grown to 23,000, maintaining its black (and mostly slave) majority. How was Vesey executed in 1820