Refactor `box_approximation`

[schillic]

From #805:

LazySets defines it the other way around: overapproximate(S::LazySet, ::Type{<:Hyperrectangle}) = box_approximation(S). We should use the same convention here and rename all methods to box_approximation (and then add an alias with overapproximate).