What is the difference between "to file a document with the court" and "to submit a document to the court"? Are they synonyms?