Tide-induced vertical mixing in the Laptev Sea coastal polynya