GuardTime Names Raul Vahisalu as General Manager