Malaysian police arrest 13 over gang-rape of teen