Name:	minf_LessorOperatingLeasePaymentsToBeReceivedThereafterYearFour
Namespace Prefix:	minf_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	instant

Amount of lease payment to be received by lessor for operating lease in fourth fiscal year following current fiscal year. Excludes interim and annual periods when interim periods are reported from current statement of financial position date (rolling approach).

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 842
-SubTopic 30
-Section 50
-Paragraph 12
-URI https://asc.fasb.org/extlink&oid=124258985&loc=SL77919396-209981

Name:	us-gaap_LessorOperatingLeasePaymentsToBeReceivedFourYears
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	instant

Amount of lease payment to be received by lessor for operating lease in next fiscal year following current fiscal year. Excludes interim and annual periods when interim periods are reported from current statement of financial position date (rolling approach).

Name:	us-gaap_LessorOperatingLeasePaymentsToBeReceivedNextTwelveMonths
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	instant

Amount of lease payment to be received by lessor for operating lease in remainder of current fiscal year. Excludes interim and annual periods when interim periods are reported from current statement of financial position date (rolling approach).

Reference 1: http://www.xbrl.org/2009/role/commonPracticeRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 842
-SubTopic 30
-Section 50
-Paragraph 12
-URI https://asc.fasb.org/extlink&oid=124258985&loc=SL77919396-209981

Name:	us-gaap_LessorOperatingLeasePaymentsToBeReceivedRemainderOfFiscalYear
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	instant

Amount of lease payment to be received by lessor for operating lease in third fiscal year following current fiscal year. Excludes interim and annual periods when interim periods are reported from current statement of financial position date (rolling approach).

Name:	us-gaap_LessorOperatingLeasePaymentsToBeReceivedThreeYears
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	instant

Amount of lease payment to be received by lessor for operating lease in second fiscal year following current fiscal year. Excludes interim and annual periods when interim periods are reported from current statement of financial position date (rolling approach).