PHP sessions stored in mysql database using stored procedures