Achieving environmental sustainability through information technology: “Digital Pakistan” initiative for green development