Symbolic Abstractions From Data: A PAC Learning Approach