LMI-based design of linear controllers for a magnetic shape memory push-push actuator