digastric muscle function