Model Checking Verification of MultiLayer Perceptrons in Datalog: a Many-valued Approach with Typicality