How much would taxpayers pay for Hall County courthouse addition?