Two-dimensional monadicity