Polynomial-time exact schedulability tests for harmonic real-time tasks