Provably-Safe, Online System Identification