Who is real life Rancho

DYK Aamir Khan's Rancho character in 3 Idiots is based on a real-life person? Raju Hirani spills the beans