Segmentation of Residential Gas Consumers Using Clustering Analysis