A Space-Optimal Randomized Wait-Free Lock