How long does it take to soften red peppers?