Convergence of inexact forward-backward algorithms using the forward-backward envelope