Texas executes John Ramirez despite objections of Nueces County district attorney