HP names Microsoft exec as head of Autonomy software division