Automated discovery of symbolic laws governing skill acquisition from naturally occurring data