What do we know about the global methane budget? Results from four decades of atmospheric CH4 observations and the way forward