अलीकडेच अरुण कुमार सिन्हा यांचे निधन झाले, त्यांचा पेशा काय होता?