Mergelyan's approximation theorem