FASB formally proposes deferring revenue recognition effective date