Velocity model building using shape optimization applied to level sets