Analysis and Re-use of Videos in Educational Digital Libraries with Automatic Scene Detection