Non-Markovian modeling of protein folding