Mark formation model for optical rewritable recording