GASB 87: lessee – bus lease example