Researchers propose 'ethically correct AI' for smart guns that locks out mass shooters