An extrapolated and provably convergent algorithm for nonlinear matrix decomposition with the ReLU function