Florida executes Eric Branch