Register Automata with Extrema Constraints, and an Application to Two-Variable Logic (Logical Methods in Computer Science, 2022)