¿En dónde se libró la batalla que cerró la primera Guerra Púnica?