negara hukum formal