공장 및 광업재단 저당법상 공장의 정의는 무엇인가요?