Propagation of dissection in a residually-stressed artery model