Nonintrusive disaggregation of residential air-conditioning loads from sub-hourly smart meter data