Cable padlocks