Statistical Test for Anomaly Detections by Variational Auto-Encoders