Gun locks and “smart” guns