Customer fatally shoots masked robber at restaurant and returns money to diners