Implementação do método baixarEstoque(int) na classe Produto