Detection of Smart Grid Integrity Attacks Using Signal Temporal Logic