Variational Data Assimilation in Shelf Circulation Models