Mark formation modeling in optical rewritable recording