Randomized variants of tasks in mathematics computer-aided assessment—a theoretical model and empirical validation | Synapse