Senators formally file immigration bill