Quanto tempo demora para cozinhar brócolis na panela de pressão?