Is Lane Johnson a trade target for Miami Dolphins?

Despite a busy offseason, the Miami Dolphins still have a glaring need at offensive tackle. Are they eyeing a trade up in the 2013 NFL Draft for Oklahoma’s Lane Johnson?