Properly learning monotone functions via local reconstruction