.mil.io Domain

What is a .mil.io domain?