Ballmer sees his bonus cut, Hastings leaves Microsoft board