Data Assimilation in Shelf Circulation Models