cuanto tarda en cocer el repollo