Mainīgo teorija