Arithmetical completeness theorems for monotonic modal logics