For how many minutes, the leaves are cooked in pressue cooker?