Supervised Classification of Water Bodies: Analyzing Various Methods Through a Case Study of Water Resources in Pakistan | IEEE Conference Publication | IEEE Xplore