Text this: Model pruning techniques in the Internet of things: state of the art, methods and perspectives