Face Mask Detector for Raspberry Pi Based on Computer Vision and Edge Computing