FASB formally proposes revenue recognition changes