Ito-Ventzel's formula for semimartingales, asymptotic properties of mle and recursive estimation