How could HP find a $5bln gap in Autonomy's value?