Text this: Mineralization characteristics and exploration progress of germanium resources in Chinese coal