as a result, bart had paid excess social security tax, and the government must return some of it to him. how much does the government owe him for excess social security paid?