Checking positive definiteness or stability of symmetric interval matrices is NP-hard