Locks are tricky — let's understand them by building one