GASB 87: lessor – building lease